Add to ORKGEvent-B [19] is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technol-ogy for formal software construction. However, scalabil-ity is a major current concern, especially the dimension of reusability. We outline a proposed infrastructure for scal-able development with reuse for Event-B. We focus specif-ically on our agenda for reuse in Software Product Lines, and explain how a form of feature modelling will be central to this programme.
Formal methods are mathematical techniques used for developing large systems. The complexity of grow...
Object·oriented programming methods promote the development of software from reusable components. In...
Abstract. In this paper we describe our experience in applying the Event-B formalism for specifying ...
Event-B [MAV:05] is a language for the formal specification and verification of reactive systems. Th...
Abstract. A proposal is made for the development of a feature-oriented reuse capability for safety-c...
Event-B is a formal language for modelling reactive systems, based on set theory and first-order log...
There is a large number of complex software systems that have reactive behavior. As for any other so...
Event-B is a formal method for specification and verification of reactive systems. Its Rodin toolkit...
Event-B is a formal method, based on set theory and first-order logic, for specification and verific...
Efficient reuse is a goal of many software engineering strategies and is usefulin the safety-critica...
In this paper we describe our experience in applying the Event-B formalism for specifying the dynami...
Abstract. In this paper we describe our experience in applying the Event-B formalism for specifying ...
The development of specifications often is a combination of smaller sub-components. Focusing on reus...
My project is based on a novel software representation, called the software event net (the SE-Net), ...
AbstractThe development of a system can start with the creation of a specification. Following this v...
Formal methods are mathematical techniques used for developing large systems. The complexity of grow...
Object·oriented programming methods promote the development of software from reusable components. In...
Abstract. In this paper we describe our experience in applying the Event-B formalism for specifying ...
Event-B [MAV:05] is a language for the formal specification and verification of reactive systems. Th...
Abstract. A proposal is made for the development of a feature-oriented reuse capability for safety-c...
Event-B is a formal language for modelling reactive systems, based on set theory and first-order log...
There is a large number of complex software systems that have reactive behavior. As for any other so...
Event-B is a formal method for specification and verification of reactive systems. Its Rodin toolkit...
Event-B is a formal method, based on set theory and first-order logic, for specification and verific...
Efficient reuse is a goal of many software engineering strategies and is usefulin the safety-critica...
In this paper we describe our experience in applying the Event-B formalism for specifying the dynami...
Abstract. In this paper we describe our experience in applying the Event-B formalism for specifying ...
The development of specifications often is a combination of smaller sub-components. Focusing on reus...
My project is based on a novel software representation, called the software event net (the SE-Net), ...
AbstractThe development of a system can start with the creation of a specification. Following this v...
Formal methods are mathematical techniques used for developing large systems. The complexity of grow...
Object·oriented programming methods promote the development of software from reusable components. In...
Abstract. In this paper we describe our experience in applying the Event-B formalism for specifying ...